There is now a read syntax for canonical true and false: #F reads as the canonical false object, and #T reads as the canonical true object.
formula vobeyspaces : |
(list #f #t) is not defined, and is probably a syntax error, whereas (list '#f '#t) evaluates to (() #T).